/* eisenstein-OS */

#ifndef _STDINT_H
#include <stdint.h>
#endif /* stdint.h */

#ifndef _STDDEF_H
#include <stddef.h>
#endif /* stddef.h */

#ifndef SYSTEM_H
#define SYSTEM_H

extern void* memcpy(void* destination, const void* source, size_t num);
extern void* memcpyw(void* destination, const void* source, size_t num);
extern void* memset (void* ptr, int value, size_t num);
extern void* memsetw(void* ptr, int value, size_t num);
extern size_t strlen(const uint8_t* str);

#endif
